 |
Your search returned 9 records. Click on the hyperlinks to view further details of Titles.. |
|
Magazine Name : Ieee Transactions On Software Engineering
|
Year : 1990 Volume number : 16 Issue: 01 |
Formal Specification And Design Time Testing
(Article)
Subject:
Abstract Data Type
,
Design Verification
,
Dynamic Testing
,
Formal Specification
Author:
Christopher
Paul
Derek
Coleman
Robin M.
Gallimore
page:
1
-
12
Computation Efficiency Of Parallel Combinatorial Or-Tree Searches
(Article)
Subject:
Anomalies
,
Parallel Processing
Author:
Guo-Jie
Li
Benjamin W.
Wah
page:
13
-
31
Optimal Selection Of Secondary Indexes
(Article)
Subject:
Index System
,
Heuristic Algorithms
,
Performance Optimization
,
Query Processing
Author:
Elena
Barcucci
Renzo
Pinzani
Renzo
Sprugnoli
page:
32
-
38
Petri Net Tools For The Specification And Analysis Of Discrete Controllers
(Article)
Subject:
Analysis
,
Control
,
Discrete Systems
,
Specification
Author:
Reg G.
Willson
Bruce H.
Krogh
page:
39
-
50
Verifying General Safety Properties Of Ada Tasking Programs
(Article)
Subject:
Ada Tasking
,
Axiomatic Design
,
Specification
,
Isolation
Author:
John D
Wale
page:
51
-
63
Function Points In The Estimation And Evaluation Of The Software Process
(Article)
Subject:
Quantitative Methods
,
Estimation
,
Function Points
Author:
Graham C.
Low
D. Ross
Jeffery
page:
64
-
71
Comments Analysis And Progtamming Errors
(Article)
Subject:
Comment
,
Errors
,
False Alarm
,
Validation
Author:
W. E.
Howden
page:
72
-
81
Reducing Null Messages In Misra'S Distrbuted Discrete Event Simulation Method
(Article)
Subject:
Distributed Discretr Event Simulation
Author:
Ronald C.
De Vries
page:
82
-
91
Control And Definition Modularization An Improved Software Design Technique Technique For Organizing Programs
(Article)
Subject:
Control And Estimation
,
Software Mintenance
,
Structured Dispersion
Author:
Surya B.
Yadav
page:
92
-
99
|
|
| | |
